Grosu, Radu: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Neural circuit policies enabling auditable autonomy

Lechner, Mathias, Hasani, Ramin, Amini, Alexander, Henzinger, Thomas A., Rus, Daniela, Grosu, Radu

Journal:

Nature Machine Intelligence

Year:

2020

File:

PDF, 6.31 MB

2020

2

[Lecture Notes in Computer Science] From Reactive Systems to Cyber-Physical Systems Volume 11500 (Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday) ||

Bartocci, Ezio, Cleaveland, Rance, Grosu, Radu, Sokolsky, Oleg

Year:

2019

Language:

english

File:

PDF, 27.67 MB

english, 2019

3

HellRank: a Hellinger-based centrality measure for bipartite social networks

Taheri, Seyed Mohammad, Mahyar, Hamidreza, Firouzi, Mohammad, Ghalebi K., Elahe, Grosu, Radu, Movaghar, Ali

Journal:

Social Network Analysis and Mining

Year:

2017

Language:

english

File:

PDF, 2.41 MB

english, 2017

4

Identifying central nodes for information flow in social networks using compressive sensing

Mahyar, Hamidreza, Hasheminezhad, Rouzbeh, Ghalebi, Elahe, Nazemian, Ali, Grosu, Radu, Movaghar, Ali, Rabiee, Hamid R.

Journal:

Social Network Analysis and Mining

Year:

2018

Language:

english

File:

PDF, 2.69 MB

english, 2018

5

[IEEE 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT) - Ancona, Italy (2019.6.19-2019.6.21)] 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT) - Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home

Hirsch, Christian, Bartocci, Ezio, Grosu, Radu

Year:

2019

File:

PDF, 7.64 MB

2019

6

Software monitoring with controllable overhead

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.09 MB

english, 2012

7

Model-order reduction of ion channel dynamics using approximate bisimulation

Ariful Islam, Md., Murthy, Abhishek, Bartocci, Ezio, Cherry, Elizabeth M., Fenton, Flavio H., Glimm, James, Smolka, Scott A., Grosu, Radu

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.78 MB

english, 2014

8

Curvature Analysis of Cardiac Excitation Wavefronts

Murthy, Abhishek, Bartocci, Ezio, Fenton, Flavio H., Glimm, James, Gray, Richard A., Cherry, Elizabeth M., Smolka, Scott A., Grosu, Radu

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2013

Language:

english

File:

PDF, 2.89 MB

english, 2013

9

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Software monitoring with bounded overhead

Callanan, Sean, Dean, Daniel J., Gorbovitski, Michael, Grosu, Radu, Seyster, Justin, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

10

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Model Predictive Control for Memory Profiling

Callanan, Sean, Grosu, Radu, Seyster, Justin, Smolka, Scott A., Zadok, Erez

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

11

[IEEE 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS) - Stockholm, Sweden (2016.9.4-2016.9.9)] 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS) - A simulation framework for IEEE 1588

Wallner, Wolfgang, Wasicek, Armin, Grosu, Radu

Year:

2016

Language:

english

File:

PDF, 1.43 MB

english, 2016

12

[IEEE 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Shenzhen, China (2016.12.15-2016.12.18)] 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Islam, Md. Ariful, Lim, Hyunkyung, Paoletti, Nicola, Abbas, Houssam, Jiang, Zhihao, Cyranka, Jacek, Cleaveland, Rance, Gao, Sicun, Clarke, Edmund, Grosu, Radu, Mangharam, Rahul, Cherry, Elizabeth, Fen

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

13

[IEEE 2017 International Joint Conference on Neural Networks (IJCNN) - Anchorage, AK, USA (2017.5.14-2017.5.19)] 2017 International Joint Conference on Neural Networks (IJCNN) - Compositional neural-network modeling of complex analog circuits

Hasani, Ramin M., Haerle, Dieter, Baumgartner, Christian F., Lomuscio, Alessio R., Grosu, Radu

Year:

2017

Language:

english

File:

PDF, 527 KB

english, 2017

14

Compressive sensing of high betweenness centrality nodes in networks

Mahyar, Hamidreza, Hasheminezhad, Rouzbeh, Ghalebi K., Elahe, Nazemian, Ali, Grosu, Radu, Movaghar, Ali, Rabiee, Hamid R.

Journal:

Physica A: Statistical Mechanics and its Applications

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

15

[IEEE IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society - Lisbon, Portugal (2019.10.14-2019.10.17)] IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society - Sensyml: Simulation Environment for large-scale IoT Applications

Haris, Isakovic, Bisanovic, Vanja, Wally, Bernhard, Rausch, Thomas, Ratasich, Denise, Dustdar, Schahram, Kappel, Gerti, Grosu, Radu

Year:

2019

Language:

english

File:

PDF, 3.02 MB

english, 2019

16

Synthesis, stereochemistry and adsorption studies of new spiranes and polyspiranes containing 1,2-dithiolane units

Radu A. Gropeanu, Mihaela L. Ţînţaş, Catherine Pilon, Mario Morin, Livain Breau, Raluca Turdean, Ion Grosu

Journal:

Journal of Heterocyclic Chemistry

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

17

Open-Source Model Checking

Radu Grosu, X. Huang, S. Jain, S.A. Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

18

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 294 KB

english, 2006

19

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 943 KB

english, 2008

20

Stream-Based Specification of Mobile Systems

Radu Grosu, Ketil Stølen

Journal:

Formal Aspects of Computing

Year:

2001

Language:

english

File:

PDF, 241 KB

english, 2001

21

Monte Carlo Methods for Process Algebra

Radu Grosu, Scott A. Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

22

Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts

Radu Grosu, Thomas Stauner

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 235 KB

english, 2002

23

Compositional modeling and refinement for hierarchical hybrid systems

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

24

Exemplary and complete object interaction descriptions

Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin

Journal:

Computer Standards & Interfaces

Year:

1998

Language:

english

File:

PDF, 326 KB

english, 1998

25

CellExcite: an efficient simulation environment for excitable cells

Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A Smolka

Journal:

BMC Bioinformatics

Year:

2008

Language:

english

File:

PDF, 2.30 MB

english, 2008

26

Macrocycles with a phenothiazine core: synthesis, structural analysis, and electronic properties

Medruţ, Ilişca, Turdean, Raluca, Gropeanu, Radu, Pop, Flavia, Toupet, Loïc, Hădade, Niculina D., Bogdan, Elena, Grosu, Ion

Journal:

Tetrahedron Letters

Year:

2013

Language:

english

File:

PDF, 753 KB

english, 2013

27

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks

Riganelli, Oliviero, Grosu, Radu, Das, Samir R., Ramakrishnan, C.R., Smolka, Scott A.

Year:

2008

Language:

english

File:

PDF, 3.75 MB

english, 2008

28

InterAspect: aspect-oriented instrumentation with GCC

Seyster, Justin, Dixit, Ketan, Huang, Xiaowan, Grosu, Radu, Havelund, Klaus, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 840 KB

english, 2012

29

[IEEE 2011 International Green Computing Conference (IGCC) - Orlando, FL, USA (2011.07.25-2011.07.28)] 2011 International Green Computing Conference and Workshops - Model discovery for energy-aware computing systems: An experimental evaluation

Li, Zhichao, Grosu, Radu, Muppalla, Koundinya, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Year:

2011

Language:

english

File:

PDF, 112 KB

english, 2011

30

[IEEE 2008 2nd International Conference on Bioinformatics and Biomedical Engineering - Shanghai, China (2008.05.16-2008.05.18)] 2008 2nd International Conference on Bioinformatics and Biomedical Engineering - Symbolic Analysis of the Neuron Action Potential

Ye, Pei, Entcheva, Emilia, Smolka, Scott A., Grosu, Radu

Year:

2008

Language:

english

File:

PDF, 204 KB

english, 2008

31

Using Statistically Based Modeling for Vehicle Dynamics

Ilie, Constantin Ovidiu, Grosu, Dănuț, Mocian, Oana, Vilău, Radu, Bartiș, Daniela

Journal:

Advanced Materials Research

Year:

2014

Language:

english

File:

PDF, 354 KB

english, 2014

32

SYNTHESIS AND STEREOCHEMISTRY OF SOME NEW SPIRO BENZO-1,3-DIOXANE DERIVATIVES

Gropeanu, Radu-A., Grosu, Ion

Journal:

Heterocyclic Communications

Year:

2006

Language:

english

File:

PDF, 1.07 MB

english, 2006

33

Learning and detecting emergent behavior in networks of cardiac myocytes

Grosu, Radu, Smolka, Scott A., Corradini, Flavio, Wasilewska, Anita, Entcheva, Emilia, Bartocci, Ezio

Journal:

Communications of the ACM

Year:

2009

Language:

english

File:

PDF, 1.80 MB

english, 2009

34

[ACM Press the 4th Annual International Conference - Haifa, Israel (2011.05.30-2011.06.01)] Proceedings of the 4th Annual International Conference on Systems and Storage - SYSTOR '11 - On the energy consumption and performance of systems software

Li, Zhichao, Grosu, Radu, Sehgal, Priya, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Year:

2011

Language:

english

File:

PDF, 482 KB

english, 2011

35

Modular refinement of hierarchic reactive machines

Alur, Rajeev, Grosu, Radu

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 219 KB

english, 2004

36

[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - High-confidence operating systems

Grosu, Radu, Zadok, Erez, Smolka, Scott A., Cleaveland, Rance, Liu, Yanhong A.

Year:

2002

Language:

english

File:

PDF, 87 KB

english, 2002

37

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Compositionality results for cardiac cell dynamics

Islam, Md. Ariful, Murthy, Abhishek, Girard, Antoine, Smolka, Scott A., Grosu, Radu

Year:

2014

Language:

english

File:

PDF, 2.70 MB

english, 2014

38

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Computing bisimulation functions using SOS optimization and Δ -decidability over the reals

Murthy, Abhishek, Islam, Md. Ariful, Smolka, Scott A., Grosu, Radu

Year:

2015

Language:

english

File:

PDF, 1.25 MB

english, 2015

39

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - From signal temporal logic to FPGA monitors

Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Kloibhofer, Reinhard, Nguyen, Thang, Nickovie, Dejan

Year:

2015

Language:

english

File:

PDF, 1.76 MB

english, 2015

40

Computing compositional proofs of Input-to-Output Stability using SOS optimization and

Murthy, Abhishek, Islam, Md. Ariful, Smolka, Scott A., Grosu, Radu

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

41

[IEEE 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Hamburg, Germany (2015.9.28-2015.10.2)] 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Generic sensor fusion package for ROS

Ratasich, Denise, Fromel, Bernhard, Hoftberger, Oliver, Grosu, Radu

Year:

2015

Language:

english

File:

PDF, 273 KB

english, 2015

42

Guided search for hybrid systems based on coarse-grained space abstractions

Bogomolov, Sergiy, Donzé, Alexandre, Frehse, Goran, Grosu, Radu, Johnson, Taylor T., Ladan, Hamed, Podelski, Andreas, Wehrle, Martin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 2.19 MB

english, 2016

43

[IEEE 2016 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME) - Lisbon, Portugal (2016.6.27-2016.6.30)] 2016 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME) - Efficient modeling of complex Analog integrated circuits using neural networks

Hasani, Ramin M., Haerle, Dieter, Grosu, Radu

Year:

2016

Language:

english

File:

PDF, 221 KB

english, 2016

44

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Parallel reachability analysis for hybrid systems

Gurung, Amit, Deka, Arup, Bartocci, Ezio, Bogomolov, Sergiy, Grosu, Radu, Ray, Rajarshi

Year:

2016

Language:

english

File:

PDF, 720 KB

english, 2016

45

Cyber-physical systems: challenge of the 21st century

Esterle, Lukas, Grosu, Radu

Journal:

e & i Elektrotechnik und Informationstechnik

Year:

2016

Language:

english

File:

PDF, 613 KB

english, 2016

46

[IEEE 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA, USA (2016.10.7-2016.10.8)] 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans

Islam, Md. Ariful, Wang, Qinsi, Hasani, Ramin M., Balun, Ondrej, Clarke, Edmund M., Grosu, Radu, Smolka, Scott A.

Year:

2016

Language:

english

File:

PDF, 2.78 MB

english, 2016

47

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles

Phan, Dung, Yang, Junxing, Grosu, Radu, Smolka, Scott A., Stoller, Scott D.

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 2.06 MB

english, 2017

48

“Click” access to multilayer functionalized Au surface: A terpyridine patterning example

Martin, Flavia A., Marconi, Daniel, Neamtu, Silvia, Radu, Teodora, Florescu, Monica, Turcu, Rodica, Lar, Claudia, Hădade, Niculina D., Grosu, Ion, Turcu, Ioan

Journal:

Materials Science and Engineering: C

Year:

2017

Language:

english

File:

PDF, 2.05 MB

english, 2017

49

Modulating short tryptophan- and arginine-rich peptides activity by substitution with histidine

Bacalum, Mihaela, Janosi, Lorant, Zorila, Florina, Tepes, Ana-Maria, Ionescu, Cristina, Bogdan, Elena, Hadade, Niculina, Craciun, Liviu, Grosu, Ion, Turcu, Ioan, Radu, Mihai

Journal:

Biochimica et Biophysica Acta (BBA) - General Subjects

Year:

2017

Language:

english

File:

PDF, 1.05 MB

english, 2017

50

[IEEE 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE) - Santa Clara, CA, USA (2016.6.8-2016.6.10)] 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE) - A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform

Isakovic, Haris, Grosu, Radu

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016